# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/why/why-2.01.ebuild,v 1.1 2007/04/03 14:56:44 zechs Exp $

inherit eutils

DESCRIPTION="OctAnal - The Octagon Abstract Domain Analyzer"
HOMEPAGE="http://www.di.ens.fr/~mine/oct/"
SRC_URI="http://www.di.ens.fr/~mine/oct/${P}.tar.gz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"

IUSE="mlgmp"
DEPEND="
    >=dev-lang/ocaml-3.07
    mlgmp? ( >=sci-mathematics/mlgmp-0.13 )
  "

src_unpack() {
	unpack ${A}
}

src_compile() {
	local myconf="--prefix=/usr --with-num=frac"

	./configure $myconf || die

	make || die
}

src_install() {
	local myconf="DESTDIR=${D}"

	make $myconf install || die
}
